package invariantChecking;

//start extract Monkey
public class Monkey implements InvariantSupporter {

    public void hang() {
	InvariantChecker.checkInvariant( this );
	// ...
	// implmentation of hang
	// ...
	InvariantChecker.checkInvariant( this );
    }
    
    public boolean invariant(){
	screech();
	return true;
    }

    public void screech() {
	InvariantChecker.checkInvariant( this );
	// ...
	// implmentation of screech
	// ...
	InvariantChecker.checkInvariant( this );
    }
}
//stop extract Monkey

